Unneeded garbage file created by git-on-Windows