Avoid storing a second copy of each string in StringTableBuilder.