7c7c2d2637
GCC suppresses the warning for ``standard'' header files, but since the headers do not come from the ``standard'' place in a ``make world'', GCC doesn't get it.