let cmi_of = Pathname.update_extensions "cmi"