diff --git a/armv7-linux-deb9/Dockerfile b/armv7-linux-deb9/Dockerfile
index 4209271808c870fc8f890ecea49d8160dc8a4a3d..aed6d5589b1ddb085064fefe4782e25f83c7cbad 100644
--- a/armv7-linux-deb9/Dockerfile
+++ b/armv7-linux-deb9/Dockerfile
@@ -6,7 +6,8 @@ SHELL ["/bin/bash", "-o", "pipefail", "-c"]
 
 # Core build utilities
 RUN apt-get update \
-    && apt-get install --no-install-recommends -qy zlib1g-dev libtinfo-dev libgmp10 libsqlite3-0 libsqlite3-dev \
+    && apt-get install --no-install-recommends -qy zlib1g-dev libtinfo-dev libgmp10 libgmp-dev \
+    libsqlite3-0 libsqlite3-dev \
     ca-certificates g++ git make automake autoconf gcc \
     perl python3 texinfo xz-utils lbzip2 bzip2 patch openssh-client sudo time \
     jq wget curl \