https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109188
--- Comment #15 from Costas Argyris <costas.argyris at gmail dot com> --- patch that makes symbol optional was pushed to master: https://gcc.gnu.org/git/?p=gcc.git;a=commitdiff;h=08ef17c75777ef9e4e7ead132ccd7a6d03ae6020
