>>413さん
そうなのですか。。。portsというのはすごく便利で使いやすいと聞いていたのですが、
バージョンの互換性などでこのような問題が起きることもあるのですね。。。
初心者なわたしには、教示していただいた方法はちょっと難しいので、しばらく様子を見て
きちんと7.0.2に対応する時がくるのを待とうと思います。
ありがとうございました。