tag_gen.sh and some in gcc-extensions.txt