CMakeLists.txt: Take care to filenames