@@ -14,11 +14,11 @@
  * file.
  */
 
 #include "config.h"
 
-#include <stdint.h>
+#include <inttypes.h>
 #include <limits.h>
 #include <time.h>
 #include <math.h>
 #include <float.h>