bash_profile: support my new SSH key