one more fix in configure script