vlc: now fix it for real ...