minor tweaks to start-ssh-agent