#136 fix build on Linux systems without kernel source/headers