On 11/8/2012 17:19, Jeffrey Hutzelman wrote: > > A bit of a kludge, but... > > mv Makefile GNUmakefile > That does the trick; thanks, Jeffrey! Sebastian, I'm working on mdiskchk.exe right now, so hopefully it's not too far away. - Shao Miller