Issue #657: stderr in xml configuration