It's ridiculous that android devices ignore the dns server my dhcp gives, too.