A few bashrc updates