It seems that openconnect sets CISCO_SPLIT_DNS but this is ignored by the vpnc script.
https://rhodesmill.org/brandon/2017/openconnect-split-dns/