cex: send traces to stderr, not stdout