Ok so downloaded vlc becouse I had 4 video files that wouldnt play anywhere else becouse they are avf files. and now have 2 problems. first and most important for some reason vlc has set itself as my default player AND changed all my other video files to avf files. I actually would have prefered if ...