move verbose messages to stderr