Some bash_profile tweaks