[vlc] Back to devtoolset-7