Include <stdint.h> to get uint32_t in C++ file with gcc 4.4