increase dbg_printf buffer in debug/debugger.c