Update seal_stringConcatenation_C.h