[vlc] Switch to lua-5.1 when needed