Include stdint.h for uint32_t. i'm not sure how portable it is and how to make it better without including config.h