fix up configure script