ccadar/klee-uclibc — pull request #5 by MartinNowack (2013-12-11 07:17:47+00:00)
Title: Search for Kernel headers

Depending on the distrubtion, kernel headers might be in different
locations (newer Debian, *Ubuntu). This patch searches possible
locations.