[Dev-luatex] \pdfmapfile and texconfig.trace_file_names