* repmgr_10 is now the default. Without this, we just install to the same version of PostgreSQL as that.