temporarily turning on more debugging injection to stdout