Use string literals in printf style calls so gcc's -Wformat works.

ok tedu@, miod@