Das mfile-Programm ist auch keine .exe. Es ist ein tcl-Skript, dass über einen Interpreter (wish84.exe) ausgeführt wird.

Steht im makefile
# Output format. (can be srec, ihex, binary)
FORMAT = ihex
?

Was für Dateien werden denn vom make erzeugt?

Poste doch mal den makefile.