Tweak psql() to use the correct binary