tokens and filenames now get printed to an auxiliary file called aux.txt