fix bug in allbench.sh, forget /g in sed