print to stdout so that output can be grepped