don't split the regexps for chop_traceback()