diff --git a/CMakeLists.txt b/CMakeLists.txt
index fb7fcdda21c..36a18f151ac 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -45,6 +45,8 @@ string(REGEX REPLACE "CBMC_VERSION = (.*)" "\\1" CBMC_VERSION ${CBMC_VERSION})
 
 project(CBMC VERSION ${CBMC_VERSION})
 
+set(CBMC_ROOT_DIR ${CMAKE_CURRENT_SOURCE_DIR})
+
 # when config.inc changes we’ll need to reconfigure to check if the version changed
 set_property(DIRECTORY APPEND PROPERTY CMAKE_CONFIGURE_DEPENDS "${CMAKE_CURRENT_SOURCE_DIR}/src/config.inc")
 
diff --git a/README.md b/README.md
index 51973a5a0fb..1542988ca34 100644
--- a/README.md
+++ b/README.md
@@ -107,7 +107,7 @@ Contributing to the code base
 6. Create a Pull Request targeting the `develop` branch
 
 New contributors can look through the [mini
-projects](https://github.com/diffblue/cbmc/blob/develop/MINI-PROJECTS.md)
+projects](https://github.com/diffblue/cbmc/blob/develop/FEATURE_IDEAS.md)
 page for small, focussed feature ideas.
 
 License
diff --git a/src/cbmc/CMakeLists.txt b/src/cbmc/CMakeLists.txt
index 1fb1f407dc0..3086b19366c 100644
--- a/src/cbmc/CMakeLists.txt
+++ b/src/cbmc/CMakeLists.txt
@@ -58,15 +58,15 @@ endif()
 
 # bash completion
 if(NOT WIN32)
-  add_custom_command(OUTPUT "${CMAKE_SOURCE_DIR}/scripts/bash-autocomplete/cbmc.sh"
-    COMMAND "${CMAKE_SOURCE_DIR}/scripts/bash-autocomplete/extract_switches.sh"
+  add_custom_command(OUTPUT "${CBMC_ROOT_DIR}/scripts/bash-autocomplete/cbmc.sh"
+    COMMAND "${CBMC_ROOT_DIR}/scripts/bash-autocomplete/extract_switches.sh"
     DEPENDS $<TARGET_FILE:cbmc>
   )
   add_custom_target(cbmc.sh ALL
-    DEPENDS "${CMAKE_SOURCE_DIR}/scripts/bash-autocomplete/cbmc.sh"
+    DEPENDS "${CBMC_ROOT_DIR}/scripts/bash-autocomplete/cbmc.sh"
   )
   install(
-    FILES ${CMAKE_SOURCE_DIR}/scripts/bash-autocomplete/cbmc.sh
+    FILES ${CBMC_ROOT_DIR}/scripts/bash-autocomplete/cbmc.sh
     DESTINATION etc/bash_completion.d
     RENAME cbmc
   )