Fix strip-trace.py.