x86_64: ppx_ignore_instrumentation.cmxs
