Fix configure script.