Review pginstall client settings: docs and examples.

When using pginstall on debian, extension_dir shoud default to
/var/lib/pginstall rather than /usr/share/pginstall per debian policy.