https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79490
--- Comment #4 from Vadim Zeitlin <vz-gcc at zeitlins dot org> --- I thought it would be simpler to use the URL I provided to download the real header rather than downloading and uncompressing the attachment (it had to be compressed due to its size), but, sure, here it is if it can be useful.
