[vlc] Use SDK 10.8 when possible