Remove CMakeLists.txt.user again