Rename aux to something else to be clonable on windows

[chrisburr]

It's not possible to clone this repo on Windows due to having a folder named aux which is a reserved name on Windows: https://learn.microsoft.com/en-us/windows/win32/fileio/naming-a-file