Update HSBencher and make a corresponding update in the benchmark script