diff --git a/tests/bench/speedcenter.exec.velcom.yaml b/tests/bench/speedcenter.exec.velcom.yaml
index 545c8fe6e5..5a49fc9f75 100644
--- a/tests/bench/speedcenter.exec.velcom.yaml
+++ b/tests/bench/speedcenter.exec.velcom.yaml
@@ -11,7 +11,7 @@
   run_config:
     <<: *time
     cmd: |
-      bench=$PWD/tests/bench; cd ${BUILD:-../../build/release}/stage0; find lib/lean ! -name libleancpp.a -delete; LEANMAKE_OPTS=LEAN_OPTS="--stats\ -Dprofiler=true\ -Dprofiler.threshold=9999" make -O -j5 make_stdlib 2>&1 > /dev/null | $bench/accumulate_profile.py
+      bash -c 'bench=$PWD/tests/bench; cd ${BUILD:-../../build/release}/stage0; find lib/lean ! -name libleancpp.a -delete; LEANMAKE_OPTS=LEAN_OPTS="--stats\ -Dprofiler=true\ -Dprofiler.threshold=9999" make -O -j5 make_stdlib 2>&1 > /dev/null | $bench/accumulate_profile.py'
     max_runs: 2
     parse_output: true
   # Warmup. Somehow ccache doesn't reuse the cache from the original build? Weird.
diff --git a/tests/bench/speedcenter.exec.yaml b/tests/bench/speedcenter.exec.yaml
index 737cc2e4ee..34fc63145b 100644
--- a/tests/bench/speedcenter.exec.yaml
+++ b/tests/bench/speedcenter.exec.yaml
@@ -10,13 +10,13 @@
   run_config:
     <<: *time
     cmd: |
-      bench=$PWD/tests/bench; cd ${BUILD:-../../build/release}/stage0; find lib/lean ! -name libleancpp.a -delete; LEANMAKE_OPTS=LEAN_OPTS="--stats\ -Dprofiler=true\ -Dprofiler.threshold=9999" make -O -j5 make_stdlib 2>&1 > /dev/null | $bench/accumulate_profile.py
+      bash -c 'bench=$PWD/tests/bench; cd ${BUILD:-../../build/release}/stage0; find lib/lean ! -name libleancpp.a -delete; LEANMAKE_OPTS=LEAN_OPTS="--stats\ -Dprofiler=true\ -Dprofiler.threshold=9999" make -O -j5 make_stdlib 2>&1 > /dev/null | $bench/accumulate_profile.py'
     max_runs: 2
     parse_output: true
   # Warmup. Somehow ccache doesn't reuse the cache from the original build? Weird.
   build_config:
     cmd: |
-      cd ${BUILD:-../../build/release}/stage0; find lib/lean/ ! -name libleancpp.a -type f -delete; make -j5 make_stdlib
+      bash -c 'cd ${BUILD:-../../build/release}/stage0; find lib/lean/ ! -name libleancpp.a -type f -delete; make -j5 make_stdlib'
 - attributes:
     description: stdlib size
     tags: [deterministic, fast]