Use the standard int64_t rather than __int64_t.
Merge pull request #1114 from waywardmonkeys/wrong-int64-type

Use the standard int64_t rather than __int64_t.