Port FlagsPrefs.h