Comment 7 for bug 316816

James,

\9 is perhaps interpreted as a back-reference.

Try to add one of those to your sed script:

A crude removal of the lines:
/.*\\9.*/d;

or just escaping (a little more future proof as far as back-references are concerned)
s/\\\([0-9]\)/\\\\\1/g;

Should do the trick.

Happy filtering.

Cheers.
- Fabrice.