Specify Lua5.1