bash_profile fix