# CONFIG_GCC_PLUGINS is not set