It's not an int64 on all platforms. I had to add that to fix make cross.