https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82995
--- Comment #9 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- Created attachment 44790 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44790&action=edit This should take care of the library side... or so I hope.