Depois de ler algo sobre openconnect
possivelmente relacionado a esse tipo de problema, lancei Synaptic Package Manager
e instalei os seguintes pacotes relacionados a openconnect
, que resolveram o problema:
libopenconnect-dev (3.15-0ubuntu2)
network-manager-openconnect (0.9.4.0-0ubuntu1)
network-manager-openconnect-gnome (0.9.4.0-0ubuntu1)