diff --git a/config/caisar.conf b/config/caisar-detection-data.conf
similarity index 100%
rename from config/caisar.conf
rename to config/caisar-detection-data.conf
diff --git a/config/dune b/config/dune
index 2599259423220dce7e9bed4a2f48208a45d25fc7..f1aaaab0addab9813c2381ff31de72070d539a85 100644
--- a/config/dune
+++ b/config/dune
@@ -1,4 +1,4 @@
 (install
  (section (site (caisar config)))
- (files caisar.conf)
+ (files caisar-detection-data.conf)
 (package caisar))
diff --git a/src/autodetection.ml b/src/autodetection.ml
index 2cab84d4e912178422fa1ba1fc67246b2ca4178d..80435a03342219d8ff8b3b35b58ffd5a1d7fc501 100644
--- a/src/autodetection.ml
+++ b/src/autodetection.ml
@@ -19,7 +19,7 @@ let rec lookup_file dirs filename =
 let autodetect ~debug () =
   let open Why3 in
   if debug then Debug.set_flag Autodetection.debug;
-  let caisar_conf = lookup_file Dirs.Sites.config "caisar.conf" in
+  let caisar_conf = lookup_file Dirs.Sites.config "caisar-detection-data.conf" in
   let data = Autodetection.Prover_autodetection_data.from_file caisar_conf in
   let config = Whyconf.init_config (Some null) in
   let binaries = Autodetection.request_binaries_version config data in