Avoid double-install on Postgres 9.3.2.