tidied up .bash_profile