Make the port number customizable. Suggestion from FulvioSpelta.