diff --git a/ci/install-build-deps.sh b/ci/install-build-deps.sh
index 7c64102a..1272fc0c 100755
--- a/ci/install-build-deps.sh
+++ b/ci/install-build-deps.sh
@@ -47,6 +47,7 @@ case "$ID-$VERSION_ID" in
         python3-setuptools \
         python3-wheel \
         python3-yaml \
+        python3-dev \
         srecord \
         zlib1g-dev \
         git \