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