情弱らしく 12.16 の deb を Ubuntu ソフトウェアセンターに食わせ再インストールを行ったところ、よくわからないけど、直った。つまるところ、ライブラリの依存関係等々が修復されたということなのか？　情弱なのでわからない。

ということで、この際 12.16 は捨てるか！　という気分になりつつあったのが、必要なくなった。ある意味では残念だ。

　＊　＊　＊

などと書いている先からまた同じ現象が発生した。

わからない…。