Repair a broken renaming.
Repair a broken renaming.

HIPERFIT/futhark,HIPERFIT/futhark,ihc/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,ihc/futhark,diku-dk/futhark,ihc/futhark,HIPERFIT/futhark