diff --git a/cerberus.opam b/cerberus.opam
index 19fab5b89..5a132ea4c 100644
--- a/cerberus.opam
+++ b/cerberus.opam
@@ -34,7 +34,7 @@ depends: [
 ]
 build: [
   ["dune" "subst"] {pinned}
-  [make "prelude-src"]
+  # [make "prelude-src"]
   ["dune"
     "build"
     "-p"