> > > Patch 7/7 seems broken on current Paul's tree. I fixed it myself. > > Depending on the definition of "current", all of these patches should > already be in Paul's tree :) Notice it. That's great! I used my yesterday's tree. I do not update it this morning :-). Roy