fixing a bad ssh-agent bug