redundant: bash_profile