This excludes all headers in /usr/include/dev because that directory is bonkers huge (18M). We can add these on an as-needed basis.