fixed benchmark/run.sh to support linux