* The output of pdffonts should not show times-roman
