とりあえず（googleの）パブリックDNSってのを設定したら直った。以下参考にしたwin版の手順のコピペ。
「コントロールパネル」から「ローカルエリア接続」を右クリックし、「ネットワーク」タブの項目で「インターネットプロトコル バージョン 4 (TCP/IPv4)」を選び、プロパティを選択します。そして、「全般」タブの「次のDNSサーバーのアドレスを使う」にチェックを入れ、優先DNSサーバーを「8.8.8.8」、代替DNSサーバーを「8.8.4.4」に設定して、OKを押します。ウィンドウを閉じれば設定完了です。
