Ensure that <stdint.h> defines all the *_MAX and *_MIN macros that gnulib's