Like the others said, you need to authenticate if he downloaded one. It will possibly modify the /etc/hosts file. I no this is the case on Windows Systems. If your familiar with the terminal cd into /etc/ and type cat hosts see if there are entries listed