Contents of .bash_profile for work