Alias mkv files to open with VLC