configure for Lua 5.2