new file:   Extensions/NSPersistentStoreCoordinator+isMigrationNeeded