diff --git a/.circleci/config.yml b/.circleci/config.yml
index 2338832d..3fb565ec 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -8,7 +8,7 @@ jobs:
       - checkout
       - run:
           name: Install dependencies  # Install with sudo as tests not run as superuser in circleci/python
-          command: sudo pip install flake8 pytest pydocstyle numpy sympy coverage coveralls --upgrade
+          command: sudo pip install flake8 pytest pydocstyle numpy sympy 'coverage<5' coveralls --upgrade
       - run:
           name: Install FIAT
           command: pip install . --user