print to stdout instead of stderr