(distribute): Replace mtrace.awk by mtrace.pl.