disable vlc's mp4 plugin