Add -D__STDC_FORMAT_MACROS to build