Lua plugin: fix build with Lua 5.1