Minor change of the configure.bat file.