Back-patch fix to remove bogus use of int4out().