global default for kernel_builder