some more bashrc tweaks