fix a few things in the mingw-w64 script