When the user defined a custom port in ~/.ssh/config, we previously passed "-p 22", overriding
his custom ssh. This behavior has been changed to never set the port manually, unless it actually
occurs in the remote URI. Thanks to Julien Valroff <julien@kirya.net> for the bug report.