--- a/ExternalStream.st	Fri Jun 15 16:58:34 2018 +0200
+++ b/ExternalStream.st	Fri Jun 15 17:00:55 2018 +0200
@@ -189,7 +189,7 @@
 #  define off_t  long
 # endif
 
-size_t __win32_fwrite(char *, size_t , size_t , FILE);
+size_t __win32_fwrite(char *, size_t , size_t , FILE *);
 #endif /* __win32__ */
 
 #ifndef NO_STDIO /* use STDIO */