Fix websockets for IE10