Fix printf formatting warnings in mono-counters.c.