update dtx with current luaotfload.lua