bash_profile: setting for Homebrew