Fix tinyxml repo