Make port number commandline-alterable