Add vlc internal headers