[From Thailand]
I found that if you use the ISP “True Internet” will encounter this problem (I think this ISP currently have the problem with the DNS right now).
And I also found the solution for it, you have to use VPN and change to other countries in order to update this 1 file.
Hope this help