Updating: improving src/pats_taggen