x86_64: bin_shape_expand.cmxs ppx_bin_prot.cmxs
