[Debugger] Log to a log file, not stdout