travis with PGXS