> Probably, no new format had been generated. Did you try to run > make-texfmt (in /usr/lib/texmf/ini, should probably als go to > /usr/sbin) to manually generate a new one? That worked fine! Thank you very much, Nils. Jim