Fix printf formats for MacOS 10.9.4

Reported by:	Meng Zhang