Rather lame ssh-agent manager.