use crc-32, not crc32