Some changes in the .bash_profile.