On Fri, 06 Sep 2002 09:02:02 +0200 "Jens Liebchen (ppp-design)" <jens@ppp-design.de> wrote: > Try deleting the configure cache file and try again, that worked for > me with a similiar problem (see list archives for details). That did the trick. Thanks :) Michael