Usage of "aux" directory breaks Windows support

[medariox]

The directory named "aux" breaks Windows support as it is a reserved word.

I know right?! Who uses Windows!! omegalul kek yadada

But I would still appreciate a name change if possible.
Thank you in advance 🙏

[medariox]

[baiwfg2]

Many developers use Windows, especially vscode on Windows definitely !

I met the same issue, I just know such reserved word thing for your reminder.

$ git clone --depth 1000 https://github.com/aave-dao/aave-v3-origin
Cloning into 'aave-v3-origin'...
remote: Enumerating objects: 8725, done.
remote: Counting objects: 100% (2828/2828), done.
remote: Compressing objects: 100% (908/908), done.
Receiving objects: 100% (8725/8725), 25.65 MiB | 11.02 MiB/s, done.sed 5897 (from 3)Receiving objects: 100% (8725/8725), 21.22 MiB | 10.57 MiB/s
Resolving deltas:  17% (948/5573)
Resolving deltas: 100% (5573/5573), done.
error: invalid path 'certora/basic/specs/aux/AaveMath.spec'
fatal: unable to checkout working tree
warning: Clone succeeded, but checkout failed.
You can inspect what was checked out with 'git status'
and retry with 'git restore --source=HEAD :/'

Hope it can be fixed.

[cc-bin]

You can use WSL for cloning