better postgres version management, possibly compatible with Debian now
no spurious Postgres user change when it's already correct