diff --git a/.circleci/config.yml b/.circleci/config.yml
index 16028e9301..42a6077536 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -39,7 +39,7 @@ jobs:
       - checkout
       - run:
           name: Install debian packages
-          command: apt-get update -q && apt-get install -q -y cmake build-essential openjdk-8-jre-headless ksh zsh
+          command: apt-get update -q && apt-get install -q -y cmake build-essential openjdk-8-jre-headless ksh zsh python-is-python3
       - run: test/test.sh
       - run: test/test_source_env.sh
       - run: