diff --git a/configure b/configure
index 168d0621..13ce8695 100755
--- a/configure
+++ b/configure
@@ -277,8 +277,7 @@ EOF
                 source ${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true
 
                 rm $OPAMROOT/config
-                ${QP_ROOT}/bin/opam init --disable-sandboxing --verbose \
-                    --yes --comp=4.07.0
+                ${QP_ROOT}/bin/opam init --disable-sandboxing --verbose --yes 
 
                 eval $(${QP_ROOT}/bin/opam env)
                 opam install -y ${OCAML_PACKAGES}  || exit 1