diff --git a/tools/configure/configure.ml b/tools/configure/configure.ml
index 6486286d1d21..431e097b519a 100644
--- a/tools/configure/configure.ml
+++ b/tools/configure/configure.ml
@@ -24,7 +24,7 @@ let (/) = Filename.concat
 
 let coq_version = "8.17.0"
 let vo_magic = 81700
-let is_a_released_version = true
+let is_a_released_version = false
 
 (** Default OCaml binaries *)