Include inttypes.h instead of stdint.h - we'll need the printf macros