Update seal_stringConcatenation.h