allowing user to set ssh port