New version of websocket

The only difference with the former is the fixed Makefile