* tools/gen-tags.sh: rename ctags to ctags-exub...