diff --git a/Makefile b/Makefile
index e0faf7d..5b5e7f1 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@ PKG_SET=coq-lsp/coq-lsp.install rocq/coq-core.install rocq/rocq-core.install roc
 
 .PHONY: build
 build: rocq/config/coq_config.ml
-	dune build $(PKG_SET)
+	dune build $(DUNEOPT) $(PKG_SET)
 
 # Ideally we could regenerate this on Rocq updates, usually not needed
 rocq/config/coq_config.ml: rocq
diff --git a/coq-waterproof b/coq-waterproof
index 99ad6ff..004b4f2 160000
--- a/coq-waterproof
+++ b/coq-waterproof
@@ -1 +1 @@
-Subproject commit 99ad6ff78fa700c84ba0cb1d1bda27d8e0f11e1a
+Subproject commit 004b4f25701a160bf842a5b225f548f1431013c7