Comment 5 for bug 1530286

Thanks for your patch, Alex!

My tests applied to rev. 14557, without the patch. I'm not sure if other recent operating systems still use GC 7.1 (Debian stable and Ubuntu LTS switched to 7.2). So I guess we can remove you patch as soon as the devlibs are updated.