SSH_Agent: misc updates