A few more bashrc tweaks