Let's do both because apparently Ubuntu is inconsistent. (#1152)
Let's do both because apparently Ubuntu is inconsistent. (#1152)


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