Add 'mininet' prefix to output files