Use the standard int64_t rather than __int64_t.