Install .cmi file.