Fixing the cmake files