Replace crc32 with tinf_crc32 everywhere.