update build.xml encoding