Option to force ffmpeg demuxers in VLC