Actually, there's no need to build with three pp_printf any more: we
know pp_printf is sound. So let's just print once with "xint"
pp_printf and once with all messages activated, so see the worst size
we get to.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>