Fix IE WebSocket config not being included in git. See #334.