Minor improvement to our main CMakeLists.txt files (to handle a new CMake policy that got introduced in CMake 2.8.11).