make TAGS not get made by default, because some people may not
have etags installed