On May 30, 2018 1:57:23 PM UTC, Sean Whitton <spwhitton@spwhitton.name> wrote: >Hello, > >On Tue, May 29 2018, Anthony DeRobertis wrote: > >> ... and it turns out my build does not reproduce the problem. > >Just to be clear, you mean without Joey's patch? Correct. Just rebuilding it, without modifying the source, fixes it for me.