Change inttypes.h to cinttypes