Silence more gcc format-string warnings.

Silence more gcc format-string warnings.

By enabling more checks, gcc has found some real bugs, e.g. `printf(buf,
"%d", i)'.  Other changes required duplicating the formatting call with
a constant format string;  a local macro was used to avoid repeating all
the many arguments.