Re: bug in configure script