don't re-initialize ssh-agent if $SSH_AGENT_PID is set