Updating: making CmakeLists.txt up-to-date.