Gerben Wierda wrote: > Any idea how I should try to find out what happens with this user's > setup? I suspect that the user made his format file manually without using pdftexconfig.tex. Solution: fmtutil --byfmt pdftex ,... -- Akira Kakuto