* tools/gen-tags.sh: use xargs