x86_64: hmap.cmxs
