tinyxml: import stl patch