Bugfix in CMakeLists.txt.