Correct for new CSL processor's encoding change