Any filename like “aux” or “aux.*” is special in Windows, and can't be opened, dir'ed, and so on. This was causing some people problems.
Jeroen Vermeulen