Use user ssh_config if a ProxyCommand is specified (to allow tunnelled ssh)