[Git][cmucl/cmucl][issue-139-set-filename-encoding-to-utf8] Workaround for test issue.25c