https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114424
--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Any file whose name contain "posix2008" should be used in lieu of the simple "posix" variant, but that apparently makes only two of them.
