On Mon, Sep 15, 2008 at 08:49:02PM +0000, Andrew Wason wrote: > It looks like r27617 causes configure --with-extraincdir option to be ignored. > This should fix it. Applied a slightly modified patch. Diego