corrected (again) CMakeLists