TODO note tweaks for CMakeLists.txt