Bugfix wrong CMakeLists.txt after rename of file