[Git][cmucl/cmucl][issue-373-handle-temp-files] Update from HEAD to fix incorrect merge