diff --git a/why3-coq.opam/opam b/why3-coq.opam/opam
index 361aac6a2bf28194b9f50b900b2a8990fc717826..bcfe0985fc4529091664f9d2d12f48c003d0c58f 100644
--- a/why3-coq.opam/opam
+++ b/why3-coq.opam/opam
@@ -24,6 +24,8 @@ tags: [
 available: [ ocaml-version >= "4.02.3" ]
 
 build: [
+	["autoconf"]
+	["sh" "-c" "automake --add-missing || true"]
   ["./configure"
    "--prefix" prefix
    "--disable-why3-lib"
diff --git a/why3-ide.opam/opam b/why3-ide.opam/opam
index d91399d2e824606a88e4e1a8dc38b23eca3050e0..f6eac98d4e0bea09545b798b6c3c0e73db3eade6 100644
--- a/why3-ide.opam/opam
+++ b/why3-ide.opam/opam
@@ -24,6 +24,8 @@ tags: [
 available: [ ocaml-version >= "4.02.3" ]
 
 build: [
+	["autoconf"]
+	["sh" "-c" "automake --add-missing || true"]
   ["./configure"
    "--prefix" prefix
    "--disable-why3-lib"
diff --git a/why3.opam/opam b/why3.opam/opam
index 1da6b35789625940fd69e402fcd01a8bfbe61ae4..2ed933c2b85c244e818ccc2c8bc06dcd6562611c 100644
--- a/why3.opam/opam
+++ b/why3.opam/opam
@@ -24,6 +24,8 @@ tags: [
 available: [ ocaml-version >= "4.02.3" ]
 
 build: [
+	["autoconf"]
+	["sh" "-c" "automake --add-missing || true"]
   ["./configure"
    "--prefix" prefix
    "--disable-frama-c"