@@ -68,11 +68,17 @@
  *                         and SHA_Maj() macros that are equivalent
  *                         and potentially faster on many systems
  *
  */
 
-#include <stdint.h>
+#include "config.h"
+
+#ifdef HAVE_STDINT_H
+#  include <stdint.h>
+#elif defined(HAVE_INTTYPES_H)
+#  include <inttypes.h>
+#endif
 /*
  * If you do not have the ISO standard stdint.h header file, then you
  * must typedef the following:
  *    name              meaning
  *  uint64_t         unsigned 64-bit integer