x86_64: opam_file_format.cmxs
