Minor modification in CMakeLists.txt.