[Git][cmucl/cmucl][issue-139-set-terminal-to-utf8] After finding the external format, get the format name