verbose output goes to stderr