diff --git a/libguile/mini-gmp.c b/libguile/mini-gmp.c
index 48ce1072b..f7634cc05 100644
--- a/libguile/mini-gmp.c
+++ b/libguile/mini-gmp.c
@@ -41,6 +41,10 @@ see https://www.gnu.org/licenses/.  */
    mpn/generic/sbpi1_div_qr.c, mpn/generic/sub_n.c,
    mpn/generic/submul_1.c. */
 
+#ifdef HAVE_CONFIG_H
+# include <config.h>
+#endif
+
 #include <assert.h>
 #include <ctype.h>
 #include <limits.h>