Add support for specifying non-default ssh port