diff --git a/scripts/build_example.sh b/scripts/build_example.sh
index bc2074e..1a6debd 100644
--- a/scripts/build_example.sh
+++ b/scripts/build_example.sh
@@ -15,5 +15,6 @@ cd lean4-example
 git checkout LeanCopilot-demo
 
 # Build lean4-example.
+git lfs install
 lake exe LeanCopilot/download
 lake build