44,45c44,45
< $cmd1 = "$sim1 $simargs --stats:file=tracediff-$$-1.stats 2>&1 |";
< $cmd2 = "$sim2 $simargs --stats:file=tracediff-$$-2.stats 2>&1 |";
---
> $cmd1 = "$sim1 $simargs --stats:text_file=tracediff-$$-1.stats 2>&1 |";
> $cmd2 = "$sim2 $simargs --stats:text_file=tracediff-$$-2.stats 2>&1 |";