added newlib stubs for printf