Looks like xml serialization avoids %-escaping file names &c.