Re: [GHC] #9685: GHC fails to build with mingw32-make on Windows