On Thu, Jun 24, 2010 at 10:03:41AM +0200, diego wrote: > > Log: > Replace manual header checks by header_check function. Expect more of this in the future, which will make configure shrink considerably :) Diego