diff --git a/projects/cryptofuzz/build.sh b/projects/cryptofuzz/build.sh
index b5bcf29a8..48e22ee7b 100755
--- a/projects/cryptofuzz/build.sh
+++ b/projects/cryptofuzz/build.sh
@@ -616,6 +616,10 @@ then
     cp $SRC/cryptofuzz-corpora/boringssl_latest.zip $OUT/cryptofuzz-boringssl_seed_corpus.zip
 fi
 
+# Compile Cryptofuzz libgmp mini-gmp module
+cd $SRC/cryptofuzz/modules/libgmp
+make -B -f Makefile-mini-gmp
+
 ##############################################################################
 # Compile BoringSSL (with assembly)
 cd $SRC/boringssl