I'm sorry, normally I'm able to grok this stuff but could someone explain why this error arises? I did not follow the logic.
There are a bunch of these special files. [0]
[0] A list is deep on this page: https://docs.microsoft.com/en-us/windows/win32/fileio/naming...
So, for example, `C:\Users\ChrisSD\AUX` will be resolved to `\??\AUX`.
Even more surprisingly, any filename that starts with `aux.` will also be affected by this. E.g. `C:\Users\ChrisSD\aux.txt`.