Re: bug? in configure script