new way of specifying the ssh port to use