Header files show invalid diags related to missing included headers

[saaadhu]

stdio.h, for e.g., complains about missing inttypes.h and stdarg.h, whereas including those headers directly in a C file works just fine.