info about how to install pgsql dev