diff --git a/docker/02-apt-get-install.sh b/docker/02-apt-get-install.sh
index c9ed00fa..0696a741 100755
--- a/docker/02-apt-get-install.sh
+++ b/docker/02-apt-get-install.sh
@@ -138,6 +138,7 @@ apt-get install -y \
     minisat \
     mono-mcs \
     nettle-dev \
+    ncurses-term \
     ninja-build \
     nodejs \
     nvidia-cuda-toolkit \