Cisco Anyconnect на Mac не может разрешить доменное имя VPN за прокси-сервером

Я пытаюсь использовать клиент Cisco Anyconnect 4.4.03034 на Mac, который находится за прокси-сервером.

Я ввожу доменное имя VPN, нажимаю кнопку "Подключиться" и получаю следующую ошибку:

Не удалось установить vpn-соединение из-за неудачного разрешения доменных имен.

Очевидно, это вызвано машиной, стоящей за прокси. Т.Е. мне нужно export http_proxy в командной строке или настроить ее для другого программного обеспечения, чтобы все работало.

В Системных настройках ->Сеть -> Дополнительно ->Прокси-серверы у меня включена "Автоматическая настройка прокси", указывающая на файл конфигурации *.pac. К сожалению, похоже, что Anyconnect на Mac ничего не знает о настройках системного прокси-сервера.

У меня есть компьютер с Windows за тем же прокси-сервером, и похоже, что Cisco Anyconnect использует настройки прокси-сервера Internet Explorer. К сожалению, на Mac я не знаю, как сообщить ему о системном прокси-сервере. Есть какие-нибудь идеи? Возможно, некоторые параметры командной строки для клиента anyconnect или конфигурации файл?