>>532
MakeMKV をインストールして libmmbd を VLC で使用するように
設定すればそれだけで最新のディスクでも再生可能になるけれどね。