x86_64: ppx_stable.cmxs
