bug? in configure script