diff -r b72c6db6890b -r 5dc02b23752f configure.exe
Binary file configure.exe has changed