Issue #657: stderr in xml configuration

Here is a small solution to Issue #657