Re: [GHC] #8593: vector is being built even with `--no-dph`