fix bugs that make_updateinfo_xml.py generate invalid XML files