Fix tools/benchmarks/run.py