fixed crc32 on 64-bit Linux