* gen_tags.sh: don't depend on another script.