--- glkloader-0.3.2/glk.h~	2001-03-14 03:07:59.000000000 +0000
+++ glkloader-0.3.2/glk.h	2007-07-11 16:00:42.000000000 +0100
@@ -17,8 +17,9 @@
 /* You may have to edit the definition of glui32 to make sure it's really a
     32-bit unsigned integer type, and glsi32 to make sure it's really a
     32-bit signed integer type. If they're not, horrible things will happen. */
-typedef unsigned long glui32; 
-typedef signed long glsi32; 
+#include <stdint.h>
+typedef uint32_t glui32; 
+typedef int32_t glsi32; 
 
 /* These are the compile-time conditionals that reveal various Glk optional
     modules. */