x86_64: dllintegers_stubs.so integers.cmxs
