Fix lack of WebSocket API in old Android