Daniel Jacobowitz wrote:
> Go ahead with the patch.  We can rip it out if we switch to gnulib's
> printf.

Committed.

I've attached the final verion. It's only the patch offsets that have 
changed since the last patch posted.

Thanks

Andrew