tweak CLI so that the first argument is the port number the server should listen on