send messages to stderr, so stdout can be used entirely for the configuration dumps