x86_64: ppx_cold.cmxs
