windows – hosts file ignored, how to troubleshoot? – Server Fault