In any case the patch takes care of this strange bug. Please, find attached versions for both 1.4.x and 1.5.x (tested).
JMarc, can they be applied? Anyway, I am going to remove the FIXME comments above the -interaction=nonstopmode line. You see, I was not feeling comfortable with this option when I used it. Bo
