Support for WebSockets with IE 10