Windows: updating the DNS cache