fix CMakeLists.txt after renaming sextante