greatly improved the integration with ssh-agent