I renamed it in a hurry this morning after the first report of a git error message on Windows. Now I realise that several source files referred to the old name, and also need fixing.
James Harvey points out that Windows still forbids calling a file 'aux' in any context. Even a directory. Gaaah.
