On Fri, Aug 10, 2018 at 12:41 AM Jeff Backus <jeff.backus@gmail.com> wrote: > Quick update: I found the problem and put together a patch (see BZ). I'll work on submitting the fix to upstream next week. Hats off to you sir!