Updating: adding utilities for KernelBuilding