Re: [GHC] #8723: sdist should not have to build everything