[Git][cmucl/cmucl][issue-162-filename-encoding-no-encoding] Disable issue.41.1 when running CI