slight changes to websocketutil and proxy