[Bug 1231] fnt2bdf conversion omits font encoding