Update RedHatBenchmark.sh