Use authoritative repo for pgbench-tools.