Rewrite gprefs() in settings.c so that its input mapping includes
[u/mdw/putty] / pgssapi.h
2010-05-19 simonPatch from Alejandro Sedeno, somewhat modified by me...