It is not possible to `git clone` this repository on Windows because it has used `aux` as the name of a directory. `AUX` is the name of a reserved device in Windows. See: https://learn.microsoft.com/en-us/windows/win32/fileio/naming-a-file