fix for kernel build