bug fix for allbench.sh