accept a port number on the command line; fixes #2