add pg_prove