1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build/p-z3-linux-ubuntu.inc b/scripts/build/p-z3-linux-ubuntu.inc
index 41130232..9e3b7b7e 100644
--- a/scripts/build/p-z3-linux-ubuntu.inc
+++ b/scripts/build/p-z3-linux-ubuntu.inc
@@ -5,7 +5,7 @@ install_build_dependencies_z3() {
 
   dependencies=(
     build-essential
-    python
+    python3
     git
     wget
     ca-certificates