pgsql/src/tools/make_diff
