fix missing local in luaotfload-tool