newlibc printf instead of lightweight printf