Specify the SSH port.