Fixed #5264 (Size specifier in printf functions is wrong for some types)