Fixed a problem with XML encoding of file names containing special
characters.