update to vlc 2.0.7