Add missing include, change int64_t->int64