extract-target-trees.py: update to match current trace format