mingw64 port: fix makefiles so 4ti2 compiles