Pinning to a web server without using the hosts file