bash_profile: use Keychain, not this horrible mess of a hack we used before