fix int64 issues on windows