Fix issue #5: Python "backslashreplace" error handler