On Tue, Jul 17, 2012 at 10:17:05AM +0200, Andreas Krebbel wrote: > The configure changes do not seem to apply on current head. Could you please refresh the > patch? ?? I've just tried it and the patch seems to apply cleanly (with 07cbfc23 as HEAD). Marek