Merge "kcargo.sh: honor SEL4_OUT_DIR from the environment"

install-prereqs.sh

diff --git a/install-prereqs.sh b/install-prereqs.sh
index f91045c..68d5ec0 100755
--- a/install-prereqs.sh
+++ b/install-prereqs.sh
@@ -58,7 +58,7 @@
     libglib2.0-dev-bin
     libgtk2.0-0
     libpixman-1-dev
-    libpython3.9
+    libpython3-dev
     libsqlite3-dev
     libssl-dev
     libtinfo-dev