Fix configure script