lua: add option Small Lua