calls to printf working on OS X