> I didn't ask you to. I expect that Maxim will be interested, and
> hope he'll be able to test.
Sure will test it.
> Note that the other part of this -- to have Git configured not to
>modify the EOL format of files, neither when committing nor when
> checking out -- still stands, and must be part of the solution.
Git is configured to not change line endings but without this fix (which I didn't check yet) it still yields the same error.
Will update you tomorrow if this helps.