Updates to "make TAGS":