vlc: rebuild against x264>=20131007.