fix string format for int64_t