tweaks to bash_profile