any logging now goes to stderr.