use a xslt 2.0 processor to convert txml files