Josiah Carlson wrote: > Any pointers as to why there is a difference would be appreciated. This was fixed in r35540, r35541, r35542, r35543, by Nick Bastin and Armin Rigo, in response to #765624. Enough pointers :-? Regards, Martin