Re: Patch to fix bug_report.pl