Add -D__STDC_FORMAT_MACROS to CMAKE_CXX_FLAGS*