Right after sending the patch I realized two things:<div><br></div><div>- A debug statement was left out (TRACE ...)</div><div>- It might make sense to save the old value of COMPILE-FILE*</div><div><br></div><div>Attached improved diff against recent ASDF tree.</div>

<div><br></div><div>Juanjo<br clear="all"><br>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a><br>


</div>