Add three missing #include <inttypes.h>