Don't redirect stderr to tee

Sometimes tee fails on travis. Using "strings" seems to work better (it doesn't colorize the output, but it's not an important feature).