adapting CMake files to build reachCtrl from top-level