Included <inttypes.h> in a few headers that were
using preprocessor constants for printf() format
specifications.