more tinyxml workaround