[Git][cmucl/cmucl][issue-363-add-version-number] For now, don't use -V for make-dist.sh in the build stage