https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101387
--- Comment #1 from Gaius Mulley <gaiusmod2 at gmail dot com> --- many thanks for the bug report - now fixed in the git repro. The bugfix emits a prototype for throw (if required) rather than use a non portable header file.
