Add -D__STDC_FORMAT_MACROS to use PRIx64.