Rename aux to aux_ because Windows can't create directories called aux