Output to stderr rather than stdout, to work better with my logging script (unbuffered output)