optionally use a proxy server if we cannot reach OBS on port 82