Re-added vrex-ws.js, somebody had deleted it