diff --git a/jbmc/src/janalyzer/CMakeLists.txt b/jbmc/src/janalyzer/CMakeLists.txt
index f4b1b73c248..afc645d7f1a 100644
--- a/jbmc/src/janalyzer/CMakeLists.txt
+++ b/jbmc/src/janalyzer/CMakeLists.txt
@@ -30,6 +30,6 @@ install(TARGETS janalyzer DESTINATION ${CMAKE_INSTALL_BINDIR})
 install(CODE "execute_process( \
   COMMAND ${CMAKE_COMMAND} -E create_symlink \
   cbmc.1 \
-  ${CMAKE_INSTALL_FULL_MANDIR}/man1/janalyzer.1 \
+  \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/janalyzer.1 \
   )"
 )
diff --git a/jbmc/src/jbmc/CMakeLists.txt b/jbmc/src/jbmc/CMakeLists.txt
index d5b0a987202..eb26273f7a6 100644
--- a/jbmc/src/jbmc/CMakeLists.txt
+++ b/jbmc/src/jbmc/CMakeLists.txt
@@ -36,6 +36,6 @@ install(TARGETS jbmc DESTINATION ${CMAKE_INSTALL_BINDIR})
 install(CODE "execute_process( \
   COMMAND ${CMAKE_COMMAND} -E create_symlink \
   cbmc.1 \
-  ${CMAKE_INSTALL_FULL_MANDIR}/man1/jbmc.1 \
+  \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/jbmc.1 \
   )"
 )
diff --git a/jbmc/src/jdiff/CMakeLists.txt b/jbmc/src/jdiff/CMakeLists.txt
index 09f7f21e368..7e6fce63816 100644
--- a/jbmc/src/jdiff/CMakeLists.txt
+++ b/jbmc/src/jdiff/CMakeLists.txt
@@ -31,6 +31,6 @@ install(TARGETS jdiff DESTINATION ${CMAKE_INSTALL_BINDIR})
 install(CODE "execute_process( \
   COMMAND ${CMAKE_COMMAND} -E create_symlink \
   cbmc.1 \
-  ${CMAKE_INSTALL_FULL_MANDIR}/man1/jdiff.1 \
+  \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/jdiff.1 \
   )"
 )
diff --git a/src/goto-analyzer/CMakeLists.txt b/src/goto-analyzer/CMakeLists.txt
index 987d43e2d28..2e1047e84b2 100644
--- a/src/goto-analyzer/CMakeLists.txt
+++ b/src/goto-analyzer/CMakeLists.txt
@@ -33,6 +33,6 @@ install(TARGETS goto-analyzer DESTINATION ${CMAKE_INSTALL_BINDIR})
 install(CODE "execute_process( \
   COMMAND ${CMAKE_COMMAND} -E create_symlink \
   cbmc.1 \
-  ${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-analyzer.1 \
+  \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-analyzer.1 \
   )"
 )
diff --git a/src/goto-cc/CMakeLists.txt b/src/goto-cc/CMakeLists.txt
index ff85f613085..924dc4c4174 100644
--- a/src/goto-cc/CMakeLists.txt
+++ b/src/goto-cc/CMakeLists.txt
@@ -44,32 +44,32 @@ else()
   install(CODE "execute_process( \
     COMMAND ${CMAKE_COMMAND} -E create_symlink \
     goto-cc \
-    ${CMAKE_INSTALL_FULL_BINDIR}/goto-gcc \
+    \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_BINDIR}/goto-gcc \
     )"
   )
   install(CODE "execute_process( \
     COMMAND ${CMAKE_COMMAND} -E create_symlink \
     goto-cc \
-    ${CMAKE_INSTALL_FULL_BINDIR}/goto-ld \
+    \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_BINDIR}/goto-ld \
     )"
   )
   # Symlink man page to cbmc man page until a real man page is written
   install(CODE "execute_process( \
     COMMAND ${CMAKE_COMMAND} -E create_symlink \
     cbmc.1 \
-    ${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-cc.1 \
+    \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-cc.1 \
     )"
   )
   install(CODE "execute_process( \
     COMMAND ${CMAKE_COMMAND} -E create_symlink \
     cbmc.1 \
-    ${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-gcc.1 \
+    \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-gcc.1 \
     )"
   )
   install(CODE "execute_process( \
     COMMAND ${CMAKE_COMMAND} -E create_symlink \
     cbmc.1 \
-    ${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-ld.1 \
+    \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-ld.1 \
     )"
   )
 endif()
diff --git a/src/goto-diff/CMakeLists.txt b/src/goto-diff/CMakeLists.txt
index bac85d35d2f..5366e5b671b 100644
--- a/src/goto-diff/CMakeLists.txt
+++ b/src/goto-diff/CMakeLists.txt
@@ -34,6 +34,6 @@ install(TARGETS goto-diff DESTINATION ${CMAKE_INSTALL_BINDIR})
 install(CODE "execute_process( \
   COMMAND ${CMAKE_COMMAND} -E create_symlink \
   cbmc.1 \
-  ${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-diff.1 \
+  \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-diff.1 \
   )"
 )
diff --git a/src/goto-harness/CMakeLists.txt b/src/goto-harness/CMakeLists.txt
index 1fcc1c35df9..54c06e9b762 100644
--- a/src/goto-harness/CMakeLists.txt
+++ b/src/goto-harness/CMakeLists.txt
@@ -15,6 +15,6 @@ install(TARGETS goto-harness DESTINATION ${CMAKE_INSTALL_BINDIR})
 install(CODE "execute_process( \
   COMMAND ${CMAKE_COMMAND} -E create_symlink \
   cbmc.1 \
-  ${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-harness.1 \
+  \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-harness.1 \
   )"
 )
diff --git a/src/goto-instrument/CMakeLists.txt b/src/goto-instrument/CMakeLists.txt
index 57acaba366d..a960ab7b3b5 100644
--- a/src/goto-instrument/CMakeLists.txt
+++ b/src/goto-instrument/CMakeLists.txt
@@ -35,6 +35,6 @@ install(TARGETS goto-instrument DESTINATION ${CMAKE_INSTALL_BINDIR})
 install(CODE "execute_process( \
   COMMAND ${CMAKE_COMMAND} -E create_symlink \
   cbmc.1 \
-  ${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-instrument.1 \
+  \$ENV{DESTDIR}${CMAKE_INSTALL_FULL_MANDIR}/man1/goto-instrument.1 \
   )"
 )