Fix bug: mktexpk might be due to missing *.pfb font instead of *.pk