Changing name of project in top-level CMakeLists.txt