Fix a bug in the configure script