improvements to make-tags.sh