bashrc: misc tweaks
bash_profile: misc tweaks