Repaired tools/CMakeLists.txt according to marble master branch