change shell.py so that it doesn't try to use ssh-agent or look for ssh keys in local ~/.ssh