Make the StringMatcher destructor virtual