diff --git a/scripts/build.sh b/scripts/build.sh
index c50a161..8c2142f 100644
--- a/scripts/build.sh
+++ b/scripts/build.sh
@@ -10,5 +10,5 @@ source $HOME/.elan/env
 
 # Build the project.
 lake build
-lake script run LeanCopilot/download
+lake exe LeanCopilot/download
 lake build LeanCopilotTests
diff --git a/scripts/build_example.sh b/scripts/build_example.sh
index f7e9d6f..7af8d03 100644
--- a/scripts/build_example.sh
+++ b/scripts/build_example.sh
@@ -15,5 +15,5 @@ cd lean4-example
 git checkout LeanCopilot-demo
 
 # Build lean4-example.
-lake script run LeanCopilot/download
+lake exe LeanCopilot/download
 lake build