WinGit: clean up a few temporary files after installing