AVIファイルを開くためのデフォルトアプリケーションを変更することはできません

私はDevuan ASCII（デフォルトではsystemdのないDebian Stretch）でCinnamonを使用しています。

AVIファイルのデフォルトプレーヤーをDragon PlayerからGnome-MPVに変更しようとしています。

しかし、これは可能に見えますが、変更後のデフォルトプレイヤーはまだドラゴン - 何も起こらなかった。

何らかのエラーメッセージが表示された場合は、直接デバッグしようとしますが、それは必要ではありません。私は何をすべきですか？