Fix fmt issue in printf for ISO C