>> Run make check-world (as opposed to just make check )>> I'll give that a shot.
You can also run "make check" directly in the "src/bin/psql" directory.
-- Fabien.