... instead of copying it, so the chroot's DNS configuration stays up-to-date in case we switch network or similar. Will-fix: #7903