devtools

Fix issue with compare_benchmarks.dart script

#9954

Merged