[Git][cmucl/cmucl][issue-135-unix-namestring-dot] 7 commits: Fix #146: CI passes incorrectly