fix a misspelling in the configure script