Added option of specifying SSH port in configuration file