tracetool: avoid invalid escape in Python string