Fix CMakeLists. (Bug #1)