On Tue, Mar 30, 2010 at 1:06 AM, Sanjoy Das <sanjoy at playingwithpointers.com> wrote: > Patch fixed. Will not work unless the patch to driver.c (attached) is > also applied. Committed. Thanks. Mark