more on bypassing missing kernels