Reopening as the patch still did not solve this problem. The same problem got reported later on as bug 759031, bug 844077, and sevral other bugs marked as duplicates of these.
Reopening as the patch still did not solve this problem. The same problem got reported later on as bug 759031, bug 844077, and sevral other bugs marked as duplicates of these.