Fix .bash_profile