Merge "Sync PG version in INSTALL" into REL1_31