actually fix the build.xml