Index: gmp-h.in
===================================================================
--- gmp-h.in.orig	2006-04-11 20:10:15.000000000 +0200
+++ gmp-h.in	2007-05-23 11:08:11.000000000 +0200
@@ -24,6 +24,7 @@ MA 02110-1301, USA. */
 
 #if defined (__cplusplus)
 #include <iosfwd>   /* for std::istream, std::ostream, std::string */
+#include <cstdio>   /* for std::FILE */
 #endif