is not a good thing, as recent gccs for example complain if it is /usr/include

Right now, we just output "" until we think of something better.