On Sat, Oct 04, 2008 at 09:20:00PM +0200, Carl Eugen Hoyos wrote: > > If this is wanted, I can also remove the check from configure. If a check is unused, it should be removed from configure. Diego