Use lua_rawlen instead of lua_objlen (future compatibility w/Lua-5.2)