Fix bash_profile.sh