diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 5c0be55c1..d4c72a65f 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -74,7 +74,7 @@ stages:
       vmImage: "Ubuntu-18.04"
     container: "quay.io/pypa/manylinux2010_x86_64:latest"
     variables:
-      python: "/opt/python/cp35-cp35m/bin/python"
+      python: "/opt/python/cp37-cp37m/bin/python"
     steps:
     - script: $(python) scripts/mk_unix_dist.py --nodotnet --nojava
     - script: git clone https://github.com/z3prover/z3test z3test