Do not use type substitution for name substitution.
Do not use type substitution for name substitution.

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