Fixes for missing parameters for debug_report_bug(), was introduced in some revisions ago