tpch5: fix for benchmarkMaster