Only set http://proxy:3128/ if the hostname 'proxy' resolves.