use CMake to config 64-bit integer output format string