hard-code CJK and Thai pdf encoding name