fixed encoding in build.xml