diff --git a/kernel/dune b/kernel/dune
index 8129fa876e..915c6d758c 100644
--- a/kernel/dune
+++ b/kernel/dune
@@ -3,6 +3,7 @@
  (synopsis "The Coq Kernel")
  (public_name coq-core.kernel)
  (wrapped false)
+ (modules_without_implementation values)
  (modules (:standard \ genOpcodeFiles uint63_31 uint63_63 float64_31 float64_63))
  (libraries boot lib coqrun dynlink))
 
diff --git a/kernel/values.ml b/kernel/values.mli
similarity index 100%
rename from kernel/values.ml
rename to kernel/values.mli