in mstime64() fix what looks to be like a potential integer overflow on 32 bit systems