Writing top level CMakeLists.txt