Make rubber verbose, and show-non-ascii write to stderr