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.