Prefix the library code with the header.
Prefix the library code with the header.

This helps ensure that we actually define the right functions and types.

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