I *do* suggest filling out a bug report, especially if you decide not to do anything else; but patches or a detailed "here's what I had to do to fix the problem" report is going to be thousands of times more likely to be utilized to fix the problem than just a bug report.

-Scott