O problema era que o servidor DNS original não era acessível por algum motivo. Portanto, modifiquei /etc/resolv.conf
e adicionei a seguinte linha (servidores de nomes públicos do Google):
nameserver 8.8.8.8
nameserver 8.8.4.4
Depois disso, executei sudo service networking restart
. Agora funciona bem.