Handle the upcoming name change from mingw32-make.exe to make.exe in the next version...