[#2919] Distinguish various PostgreSQL versions in the PostgreSQL
family: 9.3, 9.4