Eu consegui a solução, eu não tive que instalar nem vpnc nem openvpn nem pptp.
Eu tive que instalar o openconnect. Então, o processo é semelhante aos outros, adicione a VPN no editor de conexão, mas selecionando openconnect ao invés dos outros. Se eu fizer isso, só peço gateway, nome de usuário e senha, então os dados que recebi são suficientes.