Update seal_stringConcatenation_shared.h