Found a stackexchange discussion about this issue. Checked that I had no duplicated formats around with `kpsewhich` and then used `fmtutil-sys --all`. Everything seems to be OK now. Sorry for the noise. Sergio