A conexão AirVPN é estabelecida com sucesso através do NetworkManager, no entanto, os endereços da Web não podem ser resolvidos.
$ ping google.com
ping: unknown host google.com
Eu fiz a configuração do NetworkManager como ela é descrita no site oficial site pela equipe:
Esse problema é inexistente quando a conexão AirVPN é feita via comando openvpn no terminal.
$ sudo openvpn AirVPN_Netherlands_UDP-443.ovpn
Fri Oct 7 22:39:45 2016 OpenVPN 2.3.10 x86_64-pc-linux-gnu [SSL (OpenSSL)] [LZO] [EPOLL] [PKCS11] [MH] [IPv6] built on Feb 2 2016
Fri Oct 7 22:39:45 2016 library versions: OpenSSL 1.0.2g 1 Mar 2016, LZO 2.08
...
...
Fri Oct 7 22:39:54 2016 Initialization Sequence Completed
Não há problema sem o NetworkManager:
$ ping google.com
PING google.com (216.58.204.46) 56(84) bytes of data.
64 bytes from lhr25s12-in-f14.1e100.net (216.58.204.46): icmp_seq=1 ttl=55 time=64.3 ms
Adicionei os endereços OpenDNS à caixa de texto "Servidores DNS adicionais" na janela "Configurações IPv4" do NetworkManager, mas isso não ajudou.
Como posso resolver este problema?