English PK fonts, for ghostscripts, xdvi and so on