[tex-live] Fix for LuaTeX precompiled header in TL2013?

[Karl Berry]

    A tiny patch has been merged in the LuaTeX svn [1] that fixes precompiled
    headers using LuaTeX.
    [1]: https://foundry.supelec.fr/scm/viewvc.php?view=rev&root=luatex&revision=4635
    [2]: http://tracker.luatex.org/view.php?id=746
    [3]: http://tracker.luatex.org/view.php?id=787

So, is the actual change needed in mainbody.w, from

old> if (format_ident != 0)          
new> if (format_ident != 0 && !ini_version)

?

If so, that change has been in the TL sources since I committed it on
April 16, although perhaps not all the binaries have it just yet.  (The
various links did not make it entirely clear to me if more was supposed
to be done.)

Taco, Elie?

Thanks,
Karl