all output goes to stderr, because it is unbuffered and thus has a higher chance of appearing