Fix icc warning in printf

warning #181: argument is incompatible with corresponding format string conversion