x86_64: ppx_tydi.cmxs
