WinGit: avoid more unnecessary files