You're right, somehow I managed to miss that commit when looking at the svn repository. That change was all that was needed.<br><br>Thank you and sorry for the noise<br><br>Ismo Toijala<br><br><div class="gmail_quote">

On Fri, Apr 26, 2013 at 12:14 AM, Karl Berry <span dir="ltr"><<a href="mailto:karl@freefriends.org" target="_blank">karl@freefriends.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im">    A tiny patch has been merged in the LuaTeX svn [1] that fixes precompiled<br>
    headers using LuaTeX.<br>
</div><div class="im">    [1]: <a href="https://foundry.supelec.fr/scm/viewvc.php?view=rev&root=luatex&revision=4635" target="_blank">https://foundry.supelec.fr/scm/viewvc.php?view=rev&root=luatex&revision=4635</a><br>


    [2]: <a href="http://tracker.luatex.org/view.php?id=746" target="_blank">http://tracker.luatex.org/view.php?id=746</a><br>
    [3]: <a href="http://tracker.luatex.org/view.php?id=787" target="_blank">http://tracker.luatex.org/view.php?id=787</a><br>
<br>
</div>So, is the actual change needed in mainbody.w, from<br>
<br>
old> if (format_ident != 0)<br>
new> if (format_ident != 0 && !ini_version)<br>
<br>
?<br>
<br>
If so, that change has been in the TL sources since I committed it on<br>
April 16, although perhaps not all the binaries have it just yet.  (The<br>
various links did not make it entirely clear to me if more was supposed<br>
to be done.)<br>
<br>
Taco, Elie?<br>
<br>
Thanks,<br>
Karl<br>
</blockquote></div><br>