Reverted .bash_profile