Rename directory named `aux`

[mpilgrem]

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