copy console messages to stdout
allow strings of arbitrary length in console_printf(...)