x86_64: mmap.cmxs
