Updated libVLC for Linux to a newer version.