properly handle key-forwarding in .bash_profile.