Updated tinyxml
Library: the bug in tinyxml has been fixed so the workaround can be removed now