Re: [GHC] #8725: make DESTDIR=... install broken