v3-4:Enforce use of the Preferences class in options_imp.cpp.