Giving -I/usr/src/linux/include on the command line seems to solve the problem. How do I add it permanently to my include path ? Cheers.