Fix warnings about vprintf

Another excitingly trivial pull request.

I think these vprintfs are meant to be printfs - their usage pattern looks like printf rather than vprintf and they're causing gcc to complain about wrong pointer types.