message: use mingw32-make instead of make
diff: @@ -54,6 +54,8 @@ def mungeName(name):
  def doCommand(command):
  print("------------------------------------------------------------")
  + if command.startswith("make "):
  + command = command.replace("make ", "mingw32-make ")
  print("%s" % command)
  p1 = subprocess.Popen(command,shell=True)
  p1.wait()
  