Fix for Linux Mint DNS resolving issue