English PK fonts, for ghostscripts, xdvik, dvipsk and so on