Update SobolevSegmenter.s4ext