Support int64_t formatting with clang