Fixing cmake files