Host isotope2 HostName isotope2.iis.u-tokyo.ac.jp KexAlgorithms +diffie-hellman-group-exchange-sha1 ProxyCommand ssh -X akira@rainbow.iis.u-tokyo.ac.jp nc %h %p