Delete ast.cmi