you DO have to either open VLC (or whatever alternative) and manually use it to open the file, or you must go in and change the default association, as noted above.