rpms/vlc/devel vlc.spec,1.12,1.13