Another fix for GCC plugin library extensions, this time in gcc-bridge