Ethernet DHCP issue

Yes, Mbed core 4.1.1.
Agreed on the static IP, but it's the only way I could find to correctly set the DNS server. I tried using Ethernet.setDnsServerIP() to set the DNS server again after using DHCP, but this made no difference.