Fix problems with Unicode characters in manifest.xml

The patch simply encodes all files to UTF-8, which is the default for XML files anyway.