On Wed, 31 Aug 2005 01:32:00 +0200 Reimar Döffinger <Reimar.Doeffinger at stud.uni-karlsruhe.de> wrote: > Weird. But that is actually only for autodetection, and it is only > 30k. Are you using pre7 or CVS? I'm using a CVS checkout from Jul 30.