void 9 (FILEminimizer)