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