Added some extra __STDC_FORMAT_MACROS in some headers so that PRIu32 and cousins are available.