diff --git a/CMakeLists.txt b/CMakeLists.txt
index 2436b263..eaa3c353 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -31,7 +31,7 @@ project(STA VERSION 2.5.0
 option(USE_CUDD "Use CUDD BDD package")
 option(CUDD_DIR "CUDD BDD package directory")
 
-set(CMAKE_VERBOSE_MAKEFILE ON)
+set(CMAKE_VERBOSE_MAKEFILE OFF)
 
 set(STA_HOME ${PROJECT_SOURCE_DIR})
 message(STATUS "STA version: ${PROJECT_VERSION}")
diff --git a/cmake/FindTCL.cmake b/cmake/FindTCL.cmake
index 52fd8495..33104447 100644
--- a/cmake/FindTCL.cmake
+++ b/cmake/FindTCL.cmake
@@ -63,7 +63,7 @@ get_filename_component(TCL_LIB_PARENT2 "${TCL_LIB_PARENT1}" PATH)
 if (NOT TCL_HEADER)
   find_file(TCL_HEADER tcl.h
     PATHS ${TCL_LIB_PARENT1} ${TCL_LIB_PARENT2}
-    PATH_SUFFIXES include include/tcl
+    PATH_SUFFIXES include include/tcl include/tcl-tk
     NO_DEFAULT_PATH
     )
 endif()