Tweaks to bash_profile