Make proxy server name configurable