setarch misc

One fix and one debatable feature.

Regarding the fix, shouldn't we write verbose output to stderr instead of stdout?