diff --git a/build-shared.sh b/build-shared.sh
index 9eb77cac57a4164a4a9ac80ff9ade87dfe471423..ad696c834e22133d5757895c472b90b5b21f8509 100755
--- a/build-shared.sh
+++ b/build-shared.sh
@@ -260,6 +260,8 @@ TL_MAKE=$MAKE ../source/configure  $CONFHOST $CONFBUILD  $WARNINGFLAGS\
     --without-system-gd \
     --without-system-libpng \
     --without-system-poppler \
+    --without-system-gmp \
+    --without-system-mpfr \
     --without-system-teckit \
     --without-system-zlib \
     --without-system-t1lib \
diff --git a/build.sh b/build.sh
index 10c203f59aae71609ceed8c45da75b2cb7f8afa4..4ac74cf6a74fd31666cac5539abdf69ba223870d 100755
--- a/build.sh
+++ b/build.sh
@@ -335,6 +335,8 @@ TL_MAKE=$MAKE ../source/configure  $TEXLIVEOPT $CONFHOST $CONFBUILD  $WARNINGFLA
     --without-system-gd \
     --without-system-libpng \
     --without-system-poppler \
+    --without-system-gmp \
+    --without-system-mpfr \
     --without-system-teckit \
     --without-system-zlib \
     --without-system-t1lib \