Dropped tinyxml.

Part of #2 and #132