Do we need socket.io.js and wrtcp.js when not using WebRTC?