Avoid timeouts when building the Builtin module.
Avoid timeouts when building the Builtin module.

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