Re: [GHC] #7712: "make install" fails on Windows