From: Stephane Glondu <steph@glondu.net>
Date: Mon, 17 Jul 2017 10:17:00 +0200
Subject: Include stdint.h for compatibility with pre-4.04

---
 config.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/config.h b/config.h
index 55bd8c8..809a87b 100644
--- a/config.h
+++ b/config.h
@@ -58,6 +58,8 @@
 #define MPFR_SIZE_ARCH32 16
 #define MPFR_SIZE_ARCH64 24
 
+#include <stdint.h>
+
 extern void serialize_int_4(int32_t i);
 extern void serialize_block_1(void * data, long len);