more tweaks to bashrc