On Jul 19, 2009, at 5:59 AM, Christian Thalinger wrote: > The current patch does not build. I wonder if you missed something. Yes. For one thing, my earlier attempt to push timed out for some reason. I just re-pushed. -- John