build

Merge pull request #2040 from peternewman/fix-tagset-compile #634

Job	Run time
distcheck-debian-stable-amd64-clang	2m 45s
distcheck-debian-stable-amd64-gcc	3m 4s
coverage-debian-stable-amd64-gcc	2m 46s
Verify trees for distcheck-debian-stable-amd64-gcc	26s
Verify trees for distcheck-debian-stable-amd64-clang	19s
	9m 20s

Provide feedback