Make compatible with Lua 5.3