diff --git a/scripts/docker-install-phase3c.bash b/scripts/docker-install-phase3c.bash
index ade3586..414b316 100755
--- a/scripts/docker-install-phase3c.bash
+++ b/scripts/docker-install-phase3c.bash
@@ -17,6 +17,10 @@ m4
 # MariaDB
 libtinfo5
 
+# Mathics
+python3.7
+python3.7-dev
+
 # MiniZinc
 minizinc