diff --git a/configure b/configure
index 634b5888..228b4f3f 100755
--- a/configure
+++ b/configure
@@ -304,6 +304,7 @@ EOF
                 source ${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true
 
                 execute << EOF
+                opam switch 4.07.1  || exit 1
                 ${QP_ROOT}/bin/opam init --verbose --yes --compiler=4.07.1 --disable-sandboxing
 
                 eval $(${QP_ROOT}/bin/opam env)
@@ -324,6 +325,7 @@ EOF
                 execute << EOF
                   rm \${QP_ROOT}/external/opam_installer.sh
                   source \${OPAMROOT}/opam-init/init.sh > /dev/null 2> /dev/null || true
+                  opam switch 4.07.1  || exit 1
                   \${QP_ROOT}/bin/opam init --verbose --yes --compiler=4.07.1 --disable-sandboxing
 EOF
                 execute << EOF