Corrected filenames in CMakeLists.txt