diff --git a/build-infer.sh b/build-infer.sh
index ffeb344bd..d4bea4706 100755
--- a/build-infer.sh
+++ b/build-infer.sh
@@ -98,10 +98,10 @@ check_installed () {
 setup_opam () {
     OCAML_VERSION="4.02.3"
 
-    opam init -j $NCPU --no-setup --yes
+    opam init --compiler=$OCAML_VERSION -j $NCPU --no-setup --yes
 
     OPAMSWITCH=infer-$OCAML_VERSION
-    opam switch install -j $NCPU $OPAMSWITCH --alias-of $OCAML_VERSION || true
+    opam switch set -j $NCPU $OPAMSWITCH --alias-of $OCAML_VERSION
 }
 
 add_opam_git_pin () {