slight improvement for CmakeLists.txt