.ssh/config: update port number