Сервер, не найденный проблемой на Ubuntu 17.04

Я использую Ubuntu 17.04, и DNS не может найти google.co.il. Я нашел обходное решение - принимающий решение использовать walla или резкий звук. Я нашел другое обходное решение - изменение адреса на google.com. Если это остается google.com, это работает, но часто это будет переключаться назад на google.co.il

Взять пример; если бы я перехожу к google.co.il/maps и изменяю URL на google.com/maps, первый взгляд карты подошел бы, но это обновит себя к google.co.il/maps и сбою на проблеме DNS.

Мне трудно полагать, что google.co.il действительно мертв. Мой вопрос как работа вокруг, я могу изменить Firefox для использования google.com вместо google.co.il? Firefox изменяет google.com/maps на google.co.il/maps или является самим Google, делающим это?