Fix missing .cmi files