fix benchmarking bash script