Use stdint.h instead of cstdint as the latter will trigger C++0x checking on Linux (and we're not compiling in C++0x mode)