src/lua.js: execute isn't a lua function