[config.opts] added for gcc-4.6