Add pgcrypto--1.2.sql