Some fixes to CMakeLists.txt