echo to stderr instead of stdout

in case you're piping things around