Rename aux to something else to be clonable on windows

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