Include inttypes.h instead of stdint.h for PRI*