On Thu, Oct 14, 2010 at 06:47:22PM +0100, Timo Sirainen wrote: > VALGRIND=no ./configure That will work for taking it out. Making it optional, checking dependencies etc will require more work. But yeah, I will go for disabling valgrind. The above is good enough. Thanks. -- Eray