Makefile.am (libstdc++-symbols.ver): Use CONFIG_HEADER.