On some environments stdint.h seems not be included implicitly...