fix another bug in benchmark scripts