Proxy config for ssh.