Minor tweaks in bench.sh