You're right, "aux" is a reserved name on Windows (like prn, con, and a 
few others). There is a way to force the OS to actually create such 
files, but not every tool can handle them correctly.

If the zip file is intended to be Windows-compatible, it should not use 
such names; ask the project developers.