Update to websockets-0.8.0.0