@DavidRagazzi  are these 2 files completely created by cmake? (because they're modified at least), if so, they can  be `git rm`ed