[denisu]

A workaround for this is to change the ssh default port in your ssh config file.