Update to websocket 0.7.1