Renamed aux/ directory to auxiliary/ to avoid Windows issues with directories named aux