Make a better guess for the default websocket URL