Sync PG version in INSTALL