systemd‑resolved ignoring /etc/hosts entries after adding a custom DNS server – a quick fix