Re: [GHC] #9056: --make paths are not deduplicated