diff --git a/Makefile b/Makefile
index 82af3678a..4d7be5f42 100644
--- a/Makefile
+++ b/Makefile
@@ -86,10 +86,14 @@ MenhirLib/%.vo: COQCOPTS+=-w -deprecated-syntactic-definition -w -deprecated-sin
 #    warning introduced in 8.20, no alternative before 8.20
 # deprecated-from-Coq:
 #    see above
+# unknown-option:
+#    the "Set Extraction Prefix" command was introduced in 9.4
+
 COQEXTRACTOPTS ?= \
   -w -change-dir-deprecated \
   -w -extraction-default-directory \
-  -w -deprecated-from-Coq
+  -w -deprecated-from-Coq  \
+  -w -unknown-option
 
 ifneq ($(INSTALL_COQDEV),true)
 # Disable costly generation of .cmx files, which are not used locally
diff --git a/extraction/extraction.v b/extraction/extraction.v
index c01426e6a..a7c529670 100644
--- a/extraction/extraction.v
+++ b/extraction/extraction.v
@@ -27,6 +27,8 @@ Require Initializers.
 (* Standard lib *)
 From Coq Require Import ExtrOcamlBasic ExtrOcamlNativeString.
 
+Set Extraction Prefix "Coq".  (* prefix changed to "Rocq" in 9.4 *)
+
 (* Coqlib *)
 Extract Inlined Constant Coqlib.proj_sumbool => "(fun x -> x)".