diff --git a/.circleci/config.yml b/.circleci/config.yml
index e2b53a36..8d506cde 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -44,7 +44,7 @@ common_steps: &common_steps
     - run:
         name: "Install Q*cert"
         command: |
-          opam install -y -v coq-qcert.2.1.1
+          opam install --jobs=$NJOBS --yes --verbose coq-qcert.2.1.1
         no_output_timeout: 45m
     - save_cache:
         <<: *common_cache_key