Fix maglev/checksum sha filenames.