removed files used with RandomConeIsoMaker, which has been removed already