Add #include <stdint.h> for uint[32|64]_t usage (except installed headers).