lua: Don't redefine lua_objlen if already defined.

lua 5.2.2 seems to define this symbol already.
Version 1.25.10.