--- config.h.orig	Wed May 18 15:06:19 2016
+++ config.h	Wed May 18 15:07:05 2016
@@ -58,11 +58,11 @@
 #define MPFR_SIZE_ARCH32 16
 #define MPFR_SIZE_ARCH64 24
 
-extern void serialize_int_4(int32 i);
+extern void serialize_int_4(int32_t i);
 extern void serialize_block_1(void * data, long len);
 
-extern uint32 deserialize_uint_4(void);
-extern int32 deserialize_sint_4(void);
+extern int32_t deserialize_uint_4(void);
+extern int32_t deserialize_sint_4(void);
 extern void deserialize_block_1(void * data, long len);
 
 #endif /* SERIALIZE */
