diff --git a/Dockerfile.dev b/Dockerfile.dev
index f13c0ac85..dff4d060d 100644
--- a/Dockerfile.dev
+++ b/Dockerfile.dev
@@ -17,6 +17,7 @@ RUN apt update \
        gdb \
        wget \
        python3-pip \
+       python3-dev \
        sudo \
        curl \
        git-all \