https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121200
--- Comment #10 from Jean-Michaël Celerier <jeanmichael.celerier at gmail dot com> --- Thanks! Ubuntu will likely never upgrade 14 (last update to the package was a year ago) so I guess I'll just have to tell my users to upgrade on their own..
