patches/vlc: make Fedora happy