diff --git a/tests/lean/Process.lean b/tests/lean/Process.lean
index 05f3e1b6ba..1be0debff2 100644
--- a/tests/lean/Process.lean
+++ b/tests/lean/Process.lean
@@ -1,16 +1,16 @@
 open IO.Process
 
 #eval do
-  child ← spawn { cmd := "bash", args := #["-c", "echo hi!"] };
+  child ← spawn { cmd := "sh", args := #["-c", "echo hi!"] };
   child.wait
 
 #eval do
-  child ← spawn { cmd := "bash", args := #["-c", "echo ho!"], stdout := Stdio.piped };
+  child ← spawn { cmd := "sh", args := #["-c", "echo ho!"], stdout := Stdio.piped };
   child.wait;
   child.stdout.readToEnd
 
 #eval do
-  child ← spawn { cmd := "bash", args := #["-c", "head -n 1"], stdin := Stdio.piped, stdout := Stdio.piped };
+  child ← spawn { cmd := "head", args := #["-n1"], stdin := Stdio.piped, stdout := Stdio.piped };
   child.stdin.putStrLn "hu!";
   child.stdin.flush;
   child.wait;