diff --git a/leanpkg.toml b/leanpkg.toml
index fe8a559a3a6f7..96b10c1266182 100644
--- a/leanpkg.toml
+++ b/leanpkg.toml
@@ -1,7 +1,7 @@
 [package]
 name = "mathlib"
 version = "0.1"
-lean_version = "leanprover-community/lean:3.51.1"
+lean_version = "eric-wieser/lean:3.51.1-no_confusion"
 path = "src"
 
 [dependencies]