Small fixes to printf and make