Add the fix for WebSocket header protocol undefined fix to jquery-atmosphere.js as well