Fixed problem on makeFile where minisat would not install on mingw-6.1