The issue one of the users has is that one of the DNS servers provided by the ISP is dead. We're using the first DNS server found (which is dead) and so `dnsproxy` simply does not work.