generated patch for latest Lua5.2 commit