lua_strlen -> lua_rawlen in Lua 5.2