>Can you test with another utility, say 32-bit IrfanView?

Well, at this point, it is obvious that when changing platform, such as from 32 bits to 64 bits, that the file size will change. So, we will have to run a program to adjust the CRC32 value on all those records and we should be good for a long time.