fix typedef typo for int64_t