Remove calls to console_printf