fix reload_ssh_agent to work when SSH_AGENT_PID is undefined