Changes for bashrc repair