define the kernel_cxx the same as the target (should be set from configure)