Ben Summers wrote: > > Thanks for the patch, which shows the root cause of the problem. I think > we need to refine it a bit though. > Yes, I wrote this mostly for myself so that I could do compares on a few busy boxes. If I have time, I may try to come up with a real solution, unless someone already knows how and feels up to it.