Tweaks too the ssh-agent system to make it more robust