diff --git a/caisar.opam b/caisar.opam
index 7c53587d0a4b8c74f437369542ba38338abb219c..6fce9b4897ea3c2f5c4218f6adfe6039cfd3d370 100644
--- a/caisar.opam
+++ b/caisar.opam
@@ -19,7 +19,7 @@ depends: [
   "odoc" {with-doc}
 ]
 build: [
-  ["dune" "subst" "--root" "."] {dev}
+  ["dune" "subst"] {dev}
   [
     "dune"
     "build"
@@ -27,11 +27,13 @@ build: [
     name
     "-j"
     jobs
-    "--promote-install-files"
-    "false"
+    "--promote-install-files=false"
     "@install"
     "@runtest" {with-test}
     "@doc" {with-doc}
   ]
   ["dune" "install" "-p" name "--create-install-files" name]
 ]
+pin-depends: [
+  [ "why3" "git+https://gitlab.inria.fr/why3/why3.git#autodetection_from_file" ]
+]
diff --git a/caisar.opam.template b/caisar.opam.template
new file mode 100644
index 0000000000000000000000000000000000000000..10174fed00800bd55414cfb2e07916a4144ba709
--- /dev/null
+++ b/caisar.opam.template
@@ -0,0 +1,3 @@
+pin-depends: [
+  [ "why3" "git+https://gitlab.inria.fr/why3/why3.git#autodetection_from_file" ]
+]