Making sure all non-json text output goes to stderr