Make gpg-agent and ssh-agent play nice with each other