undo accidental port number change in intern.js config