makefile.mingw32 fixes