corrected aux-file path assembly