Fix build by adding new duplicate hosts to whitelist.

I'm going to merge this without review since it's a build fix. @pde and @negres could you check that the newly duplicated hosts are indeed supposed to be duplicated, and that's not going to cause any problems?