x86_64: xml_light.cmxs
