Set default ssh port

For some reason the internal servers have a different port set by
default for clients.