Delete PrimiTest.cmi