fix check for .git-frozen in .bashrc.extras