fix the benchmark pants.ini key name mismatch