adjustments to bash profile and bashrc