Minor bashrc tweaks