vlc on F25 broken.