x86_64: jingoo.cmxs
