diff --git a/core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam b/core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam
index 73db159e6..8e27dc2d4 100644
--- a/core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam
+++ b/core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam
@@ -31,7 +31,7 @@ dev-repo: "git+https://github.com/coq/stdlib.git"
 build: [
   ["dune" "subst"] {dev}
   [ "find" "theories" "-name" "_*" "-prune" "-exec" "rm" "-rf" "{}" "+" ]
-  [ "dune" "build" "--root" "." "theories/All.v" ]
+  [ "dev/with-rocq-wrap.sh" "dune" "build" "--root" "." "theories/All.v" ]
   [ "cp" "_build/default/theories/All.v" "theories/All.v" ]
   [ "find" "theories" "-name" "*.v" "-fprint" "_CoqProject" ]
   [ "sh" "-c" "echo '-Q theories Stdlib' >> _CoqProject" ]