Very nice to use SSHConfig() from paramiko! :)