Always require OldPrefs if we do any migration. This would do away with
the requirement for every plugin to take care of this on its own, while
not hurting once all prefs are migrated.