cleaned up KernelBuilder::name