diff --git a/include/bits/stdio.h b/include/bits/stdio.h
index 04bb2b9b3c31fbb8bd15e42ac8d7b763d880d327..1eecbc07517775db5ceaa43383be42ac686bf24e 100644
--- a/include/bits/stdio.h
+++ b/include/bits/stdio.h
@@ -6,6 +6,10 @@
 
 typedef struct FILE FILE;
 
+// A typedef doesn't suffice, because libgmp uses this definition to check if
+// STDIO was loaded.
+#define FILE FILE
+
 #ifdef __cplusplus
 extern "C" {
 #endif