Make port number commandline-configurable