hack to support debug console output