x86_64: extLib.cmxs
