Rename ssh_proxy.