Add necessary header include for int64_t type