__has_include__ is problematic

[Florian Weimer]

Can we remove __has_include__?

Its availability results in code which is needlessly non-portable
because for some reason, people write __has_include__ instead of
__has_include.  (I don't think there is any difference.)

Thanks,
Florian