better ssh-agent handling