more ConsolePrint to printf changes