fix benchmarking bash script
(cherry picked from commit d1f6c14)