tvos以外でこの手のバクはない。インストールしたことがあるはずだ。なおすのは初期化だけ