g++ compiles, need to get rid of a header in the KernelDefines