ps2pdf not finding Times-Italic font - where should it be?