diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 875fe274c..724d29d6f 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -40,12 +40,12 @@ jobs:
   steps:
     - script: sudo apt-get install ocaml opam libgmp-dev
     - script: opam init -y
-    - script: eval `opam env`; opam install zarith ocamlfind -y
+    - script: eval `opam config env`; opam install zarith ocamlfind -y
     - script: python scripts/mk_make.py --ml
     - script: |
         set -e
         cd build
-        eval `opam env` 
+        eval `opam config env` 
         make -j3
         make -j3 examples
         make -j3 test-z3