Answer, but not a patch, for Bug 3144

[Richard Heck]

I've figured out what's causing bug 3144 and posted a comment to
bugzilla about it. Someone who knows the code well should now be able to
solve the problem. I don't understand it well enough myself.

Richard