Yo los he mirado por encima y parece que está todo correcto. Así que se puede hacer en dos patadas la conversión. Si no quieres programa extra, simplemente elige los ficheros terminados en -1 y ponlos en otra carpeta. Luego elimina dos caracteres del final (magic file renamer, por ejemplo) y ya tenemos los ficheros con crc32 únicamente.