make ssh-agent script cross-platform