NetworkManager DNS bug