Add missing header file in crc64.c