Delete lua_12.lua