Rewrite gprefs() in settings.c so that its input mapping includes