[vlc/f32] (2 commits) ...Back to devtoolset-7