improved make-tags.sh