fixed (work-around) annoying problem where git locally removes .gitignored files