glue to ease the transition to (and use of) Lua 5.2