fixed build.sh script for WSL

[[Split portion of a mixed commit.]]

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 \

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 \