Correct treatment of minisat.exe in Windows build (issue #92)