Hallo dapelza,
für den Fall des VLC Player kann man die Zuordnung der Dateitypen auch im Player selbst anpassen.
Gehe dazu im VLC Player unter Extras/Einstellungen auf Zuordnungseinstellungen.
Dort kann dann der Dateityp dem VLC Player zugeordnet werden.
 [ Für Gäste keine Dateianhänge sichtbar] 
Gruß Frank