http://www.50mu.net/2016/09/28/starting-putty-instead-of-the-default-ssh-from-cisco-device-manager/