Re: vlc on F25 broken.