diff --git a/.circleci/config.yml b/.circleci/config.yml
index 19b8e846bc22b55a5917c4c45ab5435aca1fb489..c3895a7a0bb3cc93c60fca66753d387c233d4641 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -13,4 +13,4 @@ jobs:
           paths:
             - ~/docker
       - run:
-          command: docker run -it -v $(pwd):/root/tests dmt bash -c 'cd /root/tests ; LANG=C LC_ALL=C PATH=$PATH:/asn1scc make'
+          command: docker run -it -v $(pwd):/root/tests dmt bash -c 'cd /root/tests ; pip3 install --upgrade . ; LANG=C LC_ALL=C PATH=$PATH:/asn1scc make'