The C++ kernels can be written as C kernels, which simplifies the build
procedure