xml-trace-filename, the original filename