Replace printf(3) with fputs(3) where possible.

The format string has no format specifiers, and doesn't end with `\n',
so fputs() to stdout is sufficient.