Working with upstream, the cause of the bug was tracked down, and the following patch solves the issue.
Working with upstream, the cause of the bug was tracked down, and the following patch solves the issue.