using xmllint for pretty-print at the end of the conversion pipeline, and using new unique temp files to make it possible to convert files in parallel