Compiling code that uses kernel headers