Make our 'get DNS domain name' code try a bit harder - if gethostname() doesn't