Use TinyXML to write XML files