Potential fix for DNS on Linux