fix for kernel builds