diff --git a/src/ci/docker/host-x86_64/dist-x86_64-linux/Dockerfile b/src/ci/docker/host-x86_64/dist-x86_64-linux/Dockerfile
index a42f693c6961..93f426ba5685 100644
--- a/src/ci/docker/host-x86_64/dist-x86_64-linux/Dockerfile
+++ b/src/ci/docker/host-x86_64/dist-x86_64-linux/Dockerfile
@@ -35,6 +35,9 @@ RUN yum upgrade -y && \
       unzip \
       wget \
       xz \
+      gmp-devel \
+      mpfr-devel \
+      mpc-devel \
       zlib-devel.i686 \
       zlib-devel.x86_64 \
       && yum clean all