Невозможно настроить VPN-прокси Anyconnect/OpenConnect в Linux (Manjaro) — прокси не на https

Основная проблема заключается в том, что при использовании openConnect я не могу настроить прокси, так как это похоже на

http://setpac.mycorp.com

и openConnect откажется к нему подключаться

      openconnect vpn.mycorp.com -P setpac.mycorp.com
POST https://vpn.mycorp.com/
getaddrinfo failed for host 'setpac.mycorp.com': Name or service not known
Failed to open HTTPS connection to vpn.mycorp.com
Failed to obtain WebVPN cookie

Если не указать прокси, я подключусь, но не смогу получить доступ к интернет-ресурсам без прокси. Linux-клиент AnyConnect не предоставляет настройки, а профиль ~/.anyconnect игнорирует настройки VPN внутри него. Есть идеи, как переопределить или принудительно использовать HTTP-соединение для прокси?

Я попытался создать профиль в /opt/cisco/anyconnect/profile/MyCustomProfile.xml с помощью

      <AnyConnectProfile>
    <ClientInitialization>
        <ProxySettings>Override
    <PublicProxyServerAddress UserControllable="true">setpac.mycorp.com:80</PublicProxyServerAddress>
        </ProxySettings>
    </ClientInitialization>
</AnyConnectProfile>

Но клиент Anyconnect его не использует.

В Windows 10 я могу подключиться при настройке прокси-сервера в настройках прокси-сервера Windows, который не требует https. Спасибо.