Stop hardcoding the server's ssh port.

Because people might want to run ssh in a different port.