move ssh-agent thing to .bash_profile