Build the headers only when we need them during the build, not always at 'make dep' time.
Attach a file by drag & drop or click to upload
