diff --git a/src/cbmc/dist-linux b/src/cbmc/dist-linux
index e0776f903e7..afee40f24f9 100755
--- a/src/cbmc/dist-linux
+++ b/src/cbmc/dist-linux
@@ -4,7 +4,7 @@ umask u=rwx,g=rx,o=rx
 make
 strip cbmc
 
-VERSION=`./cbmc --version`
+VERSION=`./cbmc --version | cut -d " " -f 1`
 VERSION_FILE=`echo $VERSION | sed "y/./-/"`
 BITS=`getconf LONG_BIT`
 # UNAME_M=`uname -m`
diff --git a/src/cbmc/dist-macos b/src/cbmc/dist-macos
index bbf54cc8c20..5cbde892407 100755
--- a/src/cbmc/dist-macos
+++ b/src/cbmc/dist-macos
@@ -8,7 +8,7 @@ make cbmc-mac-signed
 (cd ../goto-cc; make goto-cc-mac-signed)
 (cd ../goto-instrument; make goto-instrument-mac-signed)
 
-VERSION=`./cbmc --version`
+VERSION=`./cbmc --version | cut -d " " -f 1`
 VERSION_FILE=`echo $VERSION | sed "y/./-/"`
 BITS=`getconf LONG_BIT`
 
diff --git a/src/cbmc/dist-win b/src/cbmc/dist-win
index 2fedef785c5..619ba1eae60 100755
--- a/src/cbmc/dist-win
+++ b/src/cbmc/dist-win
@@ -3,7 +3,7 @@
 make
 strip cbmc.exe
 
-VERSION=`./cbmc.exe --version`
+VERSION=`./cbmc.exe --version | cut -d " " -f 1`
 VERSION_FILE=`echo $VERSION | sed "y/./-/"`
 
 echo $VERSION_FILE