fixing bug: output files got overwritten when skipping some benchmark runs. This should not happen.