Fix int64_t undefined type