diff --git a/dev-support/docker/Dockerfile_aarch64 b/dev-support/docker/Dockerfile_aarch64
index 528e78c8147..80e813bb316 100644
--- a/dev-support/docker/Dockerfile_aarch64
+++ b/dev-support/docker/Dockerfile_aarch64
@@ -74,6 +74,7 @@ RUN apt-get -q update \
         pkg-config \
         python2.7 \
         python3 \
+        python3-dev \
         python3-pip \
         python3-pkg-resources \
         python3-setuptools \