kpathsea: Running mktextfm tcrm1200 I moved the ec package (where the tc* fonts are) from c-fontsrecommended to c-basic, since no other solution is evident :(. -k P.S. I am surprised Debian packages are building DVI documentation.