Delete set.cmi