This was so long ago that I forgot what I did. This is the updated patch that applies cleanly to trunk and fixes PR12788. All tests are passing.