Minor improvement to our main CMakeLists.txt file.