I renamed the concept file Kernel.h because it was conflicting with Kernel.h from the Kernel (present in the tag file) Fix linking