py-websockets is a stub port
