compilation fixes with new kernels and another example