x86_64: stringext.cmxs
