[Git][cmucl/cmucl][master] Revert e15cd9fa