Add some explicit casts to printf, to get rid of warnings.