7.2だとすいすいと入った。7.3は苦心してみたが、パッケージの関係が
どうしてもうまく入れられない。ミラーサイト（KDDLAB）が壊れている
のかもしれないが、あきらめた。