Patch to allow new Benchmark: IPPET.