fix cmakelists.txt after the removal of some outdated files