various fixes for bashrc