Removed .cmi file.